Minstrel Reloaded: From the Magic of Lisp to the Formal Semantics of OWL
نویسندگان
چکیده
This paper is a review of a story generation system called Minstrel. It uses complex but hand-crafted Lisp knowledge structures to generate short computer-generated stories within the King Arthur domain. The knowledge representation model of Minstrel is reimplemented using a W3C standard language to analyze the pros and cons of technology updates over this kind of classic AI projects.
منابع مشابه
A short introduction to two approaches in formal verification of security protocols: model checking and theorem proving
In this paper, we shortly review two formal approaches in verification of security protocols; model checking and theorem proving. Model checking is based on studying the behavior of protocols via generating all different behaviors of a protocol and checking whether the desired goals are satisfied in all instances or not. We investigate Scyther operational semantics as n example of this...
متن کاملFormal Semantics of OWL-S with Rewrite Logic
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملMarūfī’s Paykar Farhād [Farhād’s Corpse]:
By baroque, one implies the “general attitude” and “the formal quality” of a work of art which is trans-historical and “radiates through” histories, cultures, and works of art. In that way, just a seventeenth-century work of art cannot be considered baroque; on the other hand, even a postmodern work can display “baroque” features. However, as a slave to its era, the baroque of 2oth and 21th cen...
متن کامل